UNIDAD I.
"ANÁLISIS SEMÁNTICO"
El análisis semántico en el contexto de la asignatura Lenguajes y Autómatas 2 se refiere
a la fase del analizador que se encarga de chequear el texto de entrada en base a una gramática dada.
En caso de que el programa de entrada sea válido, suministra el árbol sintáctico que lo
reconoce.
Básicamente el análisis semántico es la fase del proceso de compilación que se encarga
de interpretar el significado de un programa. Esto implica comprobar que el programa
cumple con las reglas y restricciones del lenguaje y realizar transformaciones
necesarias para representar de manera precisa el comportamiento del programa.
En la práctica, el analizador sintáctico también realiza las siguientes operaciones:
- Accede a la tabla de símbolos (para hacer parte del trabajo del analizador semántico).
- Realiza el chequeo de tipos (del analizador semántico).
- Genera código intermedio.
- Genera errores cuando se producen.
Además, se utiliza para construir un árbol de análisis sintáctico, aunque raramente se construye como tal. En su lugar, las rutinas semánticas integradas van generando el árbol de Sintaxis abstracta.
Un aspecto importante del análisis semántico es la construcción y evaluación de los árboles de expresiones. Los árboles de expresiones representan el código de nivel del lenguaje en forma de datos. Los datos se almacenan en una estructura con forma de árbol. Cada nodo del árbol de expresión representa una expresión, por ejemplo, una llamada al método o una operación binaria.
"TEMARIO UNIDAD I."
